1. Formal methods :
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019